One way to solve this is in binary arithmetic – 1 representing liar, and 0 representing truthteller. Now, for example A+C+F+G+H should be odd (if A is liar and is reporting odd, which should actually be even; or if A is telling the truth and reporting odd), and so on. You get a system of 8 linear equations, which can be solved to determine that A,C,G,H are truthtellers.